Boolean-valued Term Models
نویسنده
چکیده
We construct Boolean-valued term models and describe their universal properties. The underlying set of these models consists of the terms of the underlying language, while formulae are interpreted in the Lindenbaum-Tarski algebra of open formulae. Subspaces of the Stone space of the Lindenbaum-Tarski algebra of open formulae are shown to be homeomorphic to spaces of enumerated models models equipped with a quotient map from some fixed large
منابع مشابه
Appendix B Basics of Boolean Valued Analysis
1. General remarks Boolean valued analysis is a branch of functional analysis which uses a special model-theoretic technique that is embodied in the Boolean valued models of set theory. The term was coined by G. Takeuti. The invention of Boolean valued models was not connected with the theory of Boolean algebras but rather has revealed a gemstone among the diverse applications of the latter. It...
متن کاملBoolean-Valued Models and Forcing
This introduction to forcing is based on Chapters 5–6 in T. J. Jech’s book The Axiom of Choice and is written primarily for the Fraenkel-Mostowski Models reading group. Forcing is introduced via Boolean-valued models and generic extensions, and these techniques are used to prove the independence of the axiom of choice of ZF. This is then related back to the theory of FM models. Please inform me...
متن کاملAbstract Theory of Abelian Operator Algebras: an Application of Forcing
THEORY OF ABELIAN OPERATOR ALGEBRAS: AN APPLICATION OF FORCING BY THOMAS J. JECH1 Abstract. The abstract abelian operator theory is developed from a general standpoint, using the method of forcing and Boolean-valued models. The abstract abelian operator theory is developed from a general standpoint, using the method of forcing and Boolean-valued models.
متن کاملχChek: A Model Checker for Multi-Valued Reasoning
This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they support explicit modeling of uncertainty,...
متن کاملOrthomodular-Valued Models for quantum Set Theory
Orthomodular logic represented by a complete orthomodular lattice has been studied as a pertinent generalization of the two-valued logic, Boolean-valued logic, and quantum logic. In this paper, we introduce orthomodular logic valued models for set theory generalizing quantum logic valued models introduced by Takeuti as well as Boolean-valued models introduced by Scott and Solovay, and prove a g...
متن کامل